Use of Output Specifications in PFI Housing Projects - How They Differ from Prescriptive Specifications
نویسندگان
چکیده
منابع مشابه
Getting from Design to Construction: Writing Specifications for Green Projects
often written right on the drawings. These might include a schedule of doors and windows; the type, grade, and color of the roofing material; and the like. For larger projects, the specs are provided as a separate part of the contract documents. The drawings and the specs are cross-referenced, with the basic principle that spatial relationships and dimensions belong in the drawings, while descr...
متن کاملFrom Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema—a precise form of system-level operation specification—and secondly show how operation schemas enhance development when they are used as a supplement to use case descriptions. An operation schema declaratively describes the effects of a system operation by preand postconditions using the Object Constraint Language...
متن کاملExtensible Specifications for Automatic Re-use of Specifications and Proofs
One way to reduce the cost of formally verifying a large program is to perform proofs over a specification of its behaviour, which its implementation refines. However, interesting programs must often satisfy multiple properties. Ideally, each property should be proved against the most abstract specification for which it holds. This simplifies reasoning and increases the property’s robustness ag...
متن کاملDeriving Behavior Specifications from Textual Use Cases
The design of a software system or component starts with specifying its requirements; traditionally, use cases written in natural language are used for this task. While this makes use cases easily readable, it neither permits reasoning on requirement specifications (written as use cases), nor employing the use cases in deriving an initial design in an automated way. While employing linguistic t...
متن کاملAttempto - From Specifications in Controlled Natural Language towards Executable Specifications
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Construction Engineering and Project Management
سال: 2011
ISSN: 2233-9582
DOI: 10.6106/jcepm.2011.1.2.043